جمع التبرعات 15 سبتمبر 2024 – 1 أكتوبر 2024 حول جمع التبرعات
1
Basic Proof Theory

Basic Proof Theory

A. S. Troelstra, H. Schwichtenberg
عام:
2000
اللغة:
english
ملف:
PDF, 6.14 MB
5.0 / 0
english, 2000
2
Constructivism in mathematics: An introduction

Constructivism in mathematics: An introduction

A. S. Troelstra and D. van Dalen
عام:
1988
اللغة:
english
ملف:
PDF, 6.83 MB
0 / 0
english, 1988
3
Ω-Bibliography of Mathematical Logic. Volume 6: Proof Theory. Constructive Mathematics

Ω-Bibliography of Mathematical Logic. Volume 6: Proof Theory. Constructive Mathematics

Gert H. Müller, Jane E. Kister, Dirk van Dalen, Anne S. Troelstra (eds.)
عام:
1987
اللغة:
english
ملف:
PDF, 15.16 MB
0 / 0
english, 1987
4
Basic Proof Theory

Basic Proof Theory

A. S. Troelstra, H. Schwichtenberg
عام:
1996
اللغة:
english
ملف:
DJVU, 4.79 MB
0 / 0
english, 1996
5
Lectures on Linear Logic

Lectures on Linear Logic

A. S. Troelstra
عام:
1992
اللغة:
english
ملف:
PDF, 5.72 MB
0 / 0
english, 1992
6
Constructivism in mathematics: An introduction

Constructivism in mathematics: An introduction

Anne S. Troelstra, Dirk van Dalen
عام:
1988
اللغة:
english
ملف:
DJVU, 2.06 MB
0 / 0
english, 1988
7
Principles of Intuitionism

Principles of Intuitionism

Troelstra A.S.
عام:
1969
اللغة:
english
ملف:
PDF, 3.91 MB
0 / 0
english, 1969
8
Model Theory

Model Theory

Chang C.C., Keisler H.J., Troelstra A.S.
عام:
1990
اللغة:
english
ملف:
DJVU, 5.21 MB
0 / 0
english, 1990
9
Choice Sequences: A Chapter of Intuitionistic Mathematics

Choice Sequences: A Chapter of Intuitionistic Mathematics

A. S. Troelstra
عام:
1977
اللغة:
english
ملف:
DJVU, 1.54 MB
0 / 0
english, 1977
10
History of Constructivism in the 20th Century

History of Constructivism in the 20th Century

Troelstra, A S
اللغة:
english
ملف:
PDF, 342 KB
0 / 0
english
11
Basic proof theory

Basic proof theory

A S Troelstra, Helmut Schwichtenberg
عام:
2000
اللغة:
english
ملف:
DJVU, 3.32 MB
0 / 0
english, 2000
12
L.E.J.Brouwer Centenary Symposium Proceedings

L.E.J.Brouwer Centenary Symposium Proceedings

A.S. Troelstra, D.van Dalen, D. Van Dalen
عام:
1982
اللغة:
english
ملف:
PDF, 6.79 MB
0 / 0
english, 1982
13
The L. E. J. Brouwer Centenary Symposium, Proceedings of the Conference held in Noordwijkerhout

The L. E. J. Brouwer Centenary Symposium, Proceedings of the Conference held in Noordwijkerhout

A.S. Troelstra and D. van Dalen (Eds.)
عام:
1982
اللغة:
english
ملف:
PDF, 6.00 MB
0 / 0
english, 1982
14
Intuitionistic General Topology [PhD Thesis]

Intuitionistic General Topology [PhD Thesis]

A.S. Troelstra
عام:
1966
اللغة:
english
ملف:
PDF, 5.11 MB
0 / 0
english, 1966
15
Principles of Intuitionism. Lectures Summer Conference on Intuitionism and Proof Theory, 1968

Principles of Intuitionism. Lectures Summer Conference on Intuitionism and Proof Theory, 1968

Anne S. Troelstra
عام:
1969
اللغة:
english
ملف:
DJVU, 705 KB
0 / 0
english, 1969
16
Choice sequences: a chapter of intuitionistic mathematics

Choice sequences: a chapter of intuitionistic mathematics

Troelstra A.S.
عام:
1977
اللغة:
english
ملف:
DJVU, 1.18 MB
0 / 0
english, 1977
17
Bibliography of Natural History Travel Narratives

Bibliography of Natural History Travel Narratives

Anne S. Troelstra
عام:
2016
اللغة:
english
ملف:
PDF, 3.67 MB
0 / 5.0
english, 2016
18
Lectures on Linear Logic

Lectures on Linear Logic

A. S. Troelstra
عام:
1992
اللغة:
english
ملف:
DJVU, 12.62 MB
0 / 0
english, 1992
19
The L.E.J. Brouwer centenary symposium: Proceedings Noordwijkerhout, 1981

The L.E.J. Brouwer centenary symposium: Proceedings Noordwijkerhout, 1981

A.S. Troelstra, D.van Dalen
عام:
1982
اللغة:
english
ملف:
DJVU, 3.43 MB
0 / 0
english, 1982
20
Lectures on linear logic

Lectures on linear logic

Troelstra A.S.
عام:
1992
اللغة:
english
ملف:
DJVU, 1.51 MB
0 / 0
english, 1992
21
Intuitionistic General Topology [PhD Thesis]

Intuitionistic General Topology [PhD Thesis]

A.S. Troelstra
عام:
1966
اللغة:
english
ملف:
DJVU, 2.94 MB
0 / 0
english, 1966
22
Logic, Methodology and Philosophy of Science

Logic, Methodology and Philosophy of Science

S. ABRAMSKY, S. ARTEMOV, J. BARWISE, H.J. KEISLER, A.S. TROELSTRA
اللغة:
english
ملف:
PDF, 45.56 MB
0 / 5.0
english
23
Aspects of Praematurity and Dysmaturity: Groningen 10–12 May 1967

Aspects of Praematurity and Dysmaturity: Groningen 10–12 May 1967

John W. Reynolds (auth.), J. H. P. Jonxis M.D., H. K. A. Visser M.D., J. A. Troelstra M.D. (eds.)
عام:
1968
اللغة:
english
ملف:
PDF, 11.89 MB
0 / 0
english, 1968
25
Constructivism in Mathematics: An Introduction

Constructivism in Mathematics: An Introduction

Anne S. Troelstra, Dirk van Dalen
عام:
1988
اللغة:
english
ملف:
PDF, 29.70 MB
0 / 0
english, 1988
26
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

A. S. Troelstra (eds.)
عام:
1973
اللغة:
english
ملف:
PDF, 21.39 MB
0 / 0
english, 1973
27
Principles of Intuitionism: Lectures presented at the summer conference on Intuitionism and Proof theory (1968) at SUNY at Buffalo, N.Y.

Principles of Intuitionism: Lectures presented at the summer conference on Intuitionism and Proof theory (1968) at SUNY at Buffalo, N.Y.

A. S. Troelstra
عام:
1969
اللغة:
english
ملف:
PDF, 3.95 MB
0 / 0
english, 1969
28
Metamathematical Investigation Of Intuitionistic Arithmetic And Analysis

Metamathematical Investigation Of Intuitionistic Arithmetic And Analysis

Troelstra A.S.
عام:
1973
اللغة:
english
ملف:
PDF, 22.34 MB
0 / 0
english, 1973
29
Mathematical Logic

Mathematical Logic

A. S. Troelstra (auth.), Petio Petrov Petkov (eds.)
عام:
1990
اللغة:
english
ملف:
PDF, 34.28 MB
0 / 0
english, 1990
30
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Anne S. Troelstra
عام:
1973
اللغة:
english
ملف:
DJVU, 2.77 MB
0 / 0
english, 1973